Analysis of incompatibilities between services: diagnosing all and identifying those which are fixable

National audienceThis text presents a tool, from its design to its implementation, which detects all incompatibilities between two service interfaces. Among all these incompatibilities, those which can be fixed by a mediator are identified. The tool focuses on behavioural dimension of service interfaces. Unlike prior work, the proposed solution does not simply check whether two services are incompatible or not, it rather provides detailed diagnosis, including the incompatibilities and for each one its location in the service interfaces. A measure of similarity between interfaces which considers outputs from the detection algorithm is proposed too. A visual report of the comparison analysis is also provided which pinpoints a set of incompatibilities that cause a behavioural interface not to simulate another one

Reconciling Web service failing interactions. Toward an approach based on automatic generation of mediators

International audienceInteractions between Web services are based on interfaces which describe Web services on both structural and behavioural perspectives. It can happen that the interface provided by a service does no longer match (for instance, because of an evolution) the interface required by its partners. In this situation, and until the required interfaces are fixed, interactions cannot succeed. To address this issue, and focusing on the behavioural part of interfaces, we propose an approach based on a mediator, automatically generated, which aims to seamlessly resolve incompatibilities during service interactions

Diagnosing and measuring incompatibilities between pairs of services

International audienceThis text presents a tool, from its design to its implementation, which detects all behavioural incompatibilities between two service interfaces. Unlike prior work, the proposed solution does not simply check whether two services are incompatible or not, it rather provides detailed diagnosis, including the incompatibilities and for each one the location in the service interfaces where these incompatibilities occur. A measure of similarity between interfaces which considers outputs from the detection algorithm is proposed too. A visual report of the comparison analysis is also provided which pinpoints a set of incompatibilities that cause a behavioural interface not to simulate another one

Measuring similarity of service interfaces

6 pagesInternational audienceIn this paper, we present a similarity measure between behavioural interfaces of Web services. This measure computes the difference value of simulation between two service interfaces. In our previous work we implemented an algorithm to detect the exact location of differences between service interfaces in a tool namely BESERIAL. The similarity measure is based on the results of the detection algorithm. In our case study, this measure is used to select the most suitable service to substitute a previous one, which is no longer available at design time

Médiation de la conversation entre services Web: une approche basée sur les systèmes de transitions étiquetées.

International audienceLes interactions entre services Web s'appuient sur la description structurelle et comportementale des interfaces des services. Il peut arriver que l'interface fournie par un service fournisseur ne corresponde plus (par exemple suite à une évolution) à l'interface requise par ses partenaires. Dans ce cas, et jusqu'à l'adaptation des interfaces requises, les interactions ne peuvent plus s'exécuter avec succès. Pour remédier à ces incompatibilités, cet article, en se concentrant sur les aspects comportementaux, propose une méthode pour la réconciliation de la conversation. La méthode est basée sur une médiation transparente entre le service client qui collabore avec un service fournisseur. Pour la modélisation des aspects comportementaux d'un service Web, l'approche s'appuie sur des représentations en automates à états finis, plus particulièrement sur des systèmes de transitions étiquetées

ArchiMed: canevas multi-médiateur pour la réconciliation de conversations entre services Web

Numéro spécial Modèles, Formalismes et Outils pour les Systèmes d'InformationInternational audienceLa technologie des services Web est aujourd'hui largement utilisée comme support de l'interopérabilité entre les applications. Dans ce cadre, les interactions entre deux applications encapsulées par des services Web sont réalisées par le biais d'un ensemble d'échanges de messages appelé conversation. Une conversation peut échouer parce que l'interface fournie d'un participant a été modifiée et n'est plus compatible avec celle requise par l'autre participant. L'étude rapportée dans cet article porte sur la réconciliation de telles conversations. La solution proposée consiste en un canevas qui, s'appuyant sur les versions successives de l'interface fournie du service, génère un ensemble de médiateurs. A l'initiation d'une conversation par un client, si nécessaire, le canevas sélectionne parmi les médiateurs disponibles celui qui résoud les incompatibilités entre le client et le service. Cet article décrit le modèle pour la détection des incompatibilités et leur résolution, et fournit les détails de sa mise en oeuvre

Un médiateur pour la réconciliation de conversations entre services Web

International audienceLa technologie des services Web est aujourdâ��hui largement utilisée comme support lâ��interopérabilité entre les applications. Dans ce cadre, les interactions entre les applications encapsulées par des services Web, sont réalisées par le biais dâ��échanges de messages. Lâ��en- semble des échanges de messages réalisés entre un client et un service est appelé conversation. Lâ��étude décrite dans cet article porte sur la réconciliation des conversations entre un service et une application cliente qui ne peuvent pas aboutir car lâ��interface fournie par le service a été modiï��ée, et nâ��est plus compatible avec celle attendue par le client. La solution décrite dans ce texte, propose un médiateur qui, placé en amont du service, détecte et réconcilie, à lâ��exécution et de manière transparente pour les clients, les conversations incohérentes entre le service et ses clients. Lâ��étude est limitée aux aspects comportementaux des interfaces des services. La solution proposée sâ��appuie sur des descriptions en automates des interfaces fournies du service avant et après son évolution

An Automaton-based Approach for Web Service Mediation

PP 47-54International audienceInteractions between Web services are based on interfaces which describe Web services on both structural and behavioral perspectives. It can happen that the interface provided by a service does no longer match (for instance, because of an evolution) the interface required by its partners. In this situation, and until the required interfaces are fixed, interactions cannot succeed. To address this issue, and focusing on the behavioral part of interfaces, we propose an approach based on a mediator which aims to seamlessly resolve incompatibilities during service interactions. We adopted a formal tool as finite-state automata, particularly Labeled Transition Systems to model the behavioral aspects of operations exposed by Web services

BESERIAL: Behavioural Service Analyser

LNCS 5240International audienceIn a service-oriented architecture, software services interact by means of message exchanges that follow certain patterns documented in the form of behavioural interfaces. As any software artifact, a service interface evolves over time. When this happens, incompatibility problems may arise. We demonstrate a tool, namely BESERIAL, that can pinpoint incompatibilities between behavioural interfaces